Buy Used and New Marsha Chechik Books

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers: 9971 (Lecture Notes in Computer Science)

by Sandrine Blazy,Marsha Chechik

ISBN 13: 9783319488684

Format: Paperback (216 pages)
Publisher: Springer
Published: 08 Nov 2016

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint ... 9636 (Lecture Notes in Computer Science)

by Marsha Chechik,Jean-François Raskin

ISBN 13: 9783662496732

Format: Paperback (984 pages)
Publisher: Springer
Published: 06 May 2016

Save for later